int main() {
    return 128;
}